Synchronization in Asynchronously Communicating Digital Systems

نویسنده

  • Priyadharshini Shanmugasundaram
چکیده

Two digital systems working in different clock domains require a protocol to communicate with each other in order to ensure validity of the data being shared between the two systems. Such systems are said to be asynchronous, and the protocol used for communication is said to synchronize the two systems. Asynchronous design techniques are not as widely used as synchronous design techniques are. This report points out the merits and demerits of asynchronous design techniques over synchronous techniques. It presents some of the commonly used asynchronous handshake protocols, and their implementation. Some common mistakes made in asynchronous design are also discussed.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Safety Verification of Communicating One-Counter Machines

In order to verify protocols that tag messages with integer values, we investigate the decidability of the reachability problem for systems of communicating one-counter machines. These systems consist of local one-counter machines that asynchronously communicate by exchanging the value of their counters via, a priori unbounded, Fifo channels. This model extends communicating finite-state machin...

متن کامل

A Proof System for Asynchronously Communicating Deterministic Processes

We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope with an indeterminate environment. We develop for the resulting parallel programming language, which subsumes deterministic data ow, a simple compositional proof system. Reasoning about communication and synchronization ...

متن کامل

Compatibility Checking for Asynchronously Communicating Software

Compatibility is a crucial problem that is encountered while constructing new software by reusing and composing existing components. A set of software components is called compatible if their composition preserves certain properties, such as deadlock freedom. However, checking compatibility for systems communicating asynchronously is an undecidable problem, and asynchronous communication is a c...

متن کامل

On Test Case Generation from Asynchronously Communicating State Machines

This paper proposes an approach for generating test cases in Concurrent TTCN from a system of asynchronously communicating nite state machines. We give an algorithm for generating a noninterleaving model of prime event structures from a generalized model of asynchronously communicating nite state machines and deal with the generation of test cases from prime event structures.

متن کامل

COOL: A Language for Parallel Programming

We present COOL, an object-oriented parallel language derived from C++ by adding constructs to specify concurrent execution. We describe the language design, and the facilities for creating parallelism, performing synchronization, and communicating. The parallel construct is parallel functions that execute asynchronously. Synchronization support includes mutex functions and future types. A shar...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010